доказуемость теоремы

См. также в других словарях:

• ДОКАЗУЕМОСТЬ — ДОКАЗУЕМОСТЬ, доказуемости, мн. нет, жен. (книжн.). отвлеч. сущ. к доказуемый. Доказуемость теоремы. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

• доказуемость — см. доказуемый; и; ж. Доказу/емость теоремы. Доказу/емость вины …   Словарь многих выражений

• Паскалева геометрия — или геометрия с коммутативным умножением геометрия плоскости, построенной над полем. Название этой геометрии связано с тем, что в ней справедлива теорема Паппа, которая является частным случаем теоремы Паскаля. Паскалева геометрия плоскости может …   Википедия

• доказу́емость — и, ж. Свойство по знач. прил. доказуемый. Доказуемость теоремы …   Малый академический словарь

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• Теорема Лёба — Теорема Лёба  теорема в математической логике о взаимосвязи между доказуемостью утверждения и самим утверждением. Установлена математиком Мартином Хуго Лёбом в 1955 году. Теорема Лёба гласит, что во всякой теории, включающей аксиоматику… …   Википедия

• ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… …   Философская энциклопедия

• НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …   Философская энциклопедия

• Аксиоматический метод —         способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …   Большая советская энциклопедия

• ПАСКАЛЕВА ГЕОМЕТРИЯ — геометрия плоскости, построенной над полем (коммутативным телом). Название этой геометрии связано с тем, что в этой геометрии на плоскости выполняется конфигурационное предложение Пап на Паскаля: если точки 1, 3, 5 и 2, 4, 6 соответственно лежат… …   Математическая энциклопедия

• Логическая семантика —         раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… …   Большая советская энциклопедия